Coding complete theories in Galois groups
نویسندگان
چکیده
منابع مشابه
Coding complete theories in Galois groups
James Ax showed that, in each characteristic, there is a natural bijection from the space of complete theories of pseudo-finite fields, in first order logic, to the set of conjugacy classes of procyclic subgroups of the absolute Galois group of the prime field. I show that when the set of subgroups of a profinite group is considered to have the Vietoris (a.k.a. hyperspace, finite, exponential, ...
متن کاملGalois groups of first order theories
We study the groups GalL(T ) and GalKP (T ), and the associated equivalence relations EL and EKP , attached to a first order theory T . An example is given where EL 6= EKP (a non G-compact theory). It is proved that EKP is the composition of EL and the closure of EL. Other examples are given showing this is best possible.
متن کاملGalois Groups of Rst Order Theories
We study the groups Gal L (T) and Gal KP (T), and the associated equivalence relations E L and E KP , attached to a rst order theory T.
متن کاملOn Hopf Galois structures and complete groups
Let L be a Galois extension of K, fields, with Galois group Γ. We obtain two results. First, if Γ = Hol(Zpe ), we determine the number of Hopf Galois structures on L/K where the associated group of the Hopf algebra H is Γ (i.e. L⊗K H ∼= L[Γ]). Now let p be a safeprime, that is, p is a prime such that q = (p−1)/2 > 2 is also prime. If L/K is Galois with group Γ = Hol(Zp), p a safeprime, then for...
متن کاملOn Galois theories
The classical Galois theory of fields and the classification of covering spaces of a path-connected, locally path-connected, and semi-locally simply connected space (which will be referred to as the Galois theory of covering spaces) appear very similar. We study the connection of these two Galois theories by generalizing them in categorical language as equivalences of certain categories. This i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Logic
سال: 2008
ISSN: 0022-4812,1943-5886
DOI: 10.2178/jsl/1208359055